منابع مشابه
Justifications, Ontology, and Conservativity
An ontologically transparent semantics for justifications that interprets justifications as sets of formulas they justify has been recently presented by Artemov. However, this semantics of modular models has only been studied for the case of the basic justification logic J, corresponding to the modal logic K. It has been left open how to extend and relate modular models to the already existing ...
متن کاملGeneralising Conservativity
A constraint on functions from sets and relations to sets is studied. This constraint is a generalisation of the constraint of conservativity known from the study of generalised quantifiers in natural languages. It is suggested that this generalised constraint constitutes a semantic universal.
متن کاملOn Logical Relations and Conservativity
Having developed a Montague-like interpretation of a fragment of natural language, one may want to modify it in order to accomodate further linguistic phenomena. This may require radical changes in the semantic interpretation of syntactic categories. For instance, one may want to raise the semantic type assigned to the category of adverbial modifiers in order to account for quantified adverbial...
متن کاملQuantification, Witness Sets and Conservativity
Theories of semantic scope underspecification can be divided into two types, depending on whether they are based on the notion of satisfaction or on the notion of derivation.1 The central tenet of satisfaction-based theories of scope underspecification is that the relation between a representation SR with fully specified scope relations and a representation UR with underspecified scope relation...
متن کاملLindenbaum Algebras and Partial Conservativity
A partial Lindenbaum algebra TA, where A is a theory extending Peano arithmetic and T G {LTn,£n}, is the full Lindenbaum algebra for A restricted to sentences in A provably equivalent to rn-sentences. Using a new result on pairs of partially conservative sentences, we show that Tl£ and E^ are not isomorphic.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebraic Geometry
سال: 2018
ISSN: 2214-2584
DOI: 10.14231/ag-2018-018